TSTP Solution File: SYN990^1 by Satallax-MaLeS---1.3
View Problem
- Process Solution
%------------------------------------------------------------------------------
% File : Satallax-MaLeS---1.3
% Problem : SYN990^1 : TPTP v6.2.0. Released v3.7.0.
% Transfm : none
% Format : tptp:raw
% Command : src/helsing.py -t %d -c ../satallax.ini -p %s
% Computer : n076.star.cs.uiowa.edu
% Model : x86_64 x86_64
% CPU : Intel(R) Xeon(R) CPU E5-2609 0 2.40GHz
% Memory : 32286.75MB
% OS : Linux 2.6.32-573.1.1.el6.x86_64
% CPULimit : 300s
% DateTime : Thu Oct 8 19:01:33 EDT 2015
% Result : Timeout 285.78s
% Output : None
% Verified :
% SZS Type : None (Parsing solution fails)
% Syntax : Number of formulae : 0
% Comments :
%------------------------------------------------------------------------------
%----No solution output by system
%------------------------------------------------------------------------------
%----ORIGINAL SYSTEM OUTPUT
% 0.00/0.02 % Problem : SYN990^1 : TPTP v6.2.0. Released v3.7.0.
% 0.00/0.02 % Command : src/helsing.py -t %d -c ../satallax.ini -p %s
% 0.01/1.05 % Computer : n076.star.cs.uiowa.edu
% 0.01/1.05 % Model : x86_64 x86_64
% 0.01/1.05 % CPU : Intel(R) Xeon(R) CPU E5-2609 0 @ 2.40GHz
% 0.01/1.05 % Memory : 32286.75MB
% 0.01/1.05 % OS : Linux 2.6.32-573.1.1.el6.x86_64
% 0.01/1.05 % CPULimit : 300
% 0.01/1.05 % DateTime : Mon Oct 5 14:38:45 CDT 2015
% 0.01/1.05 % CPUTime:
% 1.52/2.65 % Running -m mode0e for 0.00637292861938 seconds
% 1.52/2.67 % Running -m NewStrategy31902 for 0.126502037048 seconds
% 1.52/2.69 % Running -m NewStrategy70786 for 4.2979221344 seconds
% 5.93/7.00 % Running -m NewStrategy71293 for 0.0105640888214 seconds
% 5.93/7.02 % Running -m NewStrategy53030 for 0.337961912155 seconds
% 5.96/7.37 % Running -m mode390 for 2.06222486496 seconds
% 6.63/7.74 % Running -m NewStrategy31551 for 0.607096910477 seconds
% 6.65/8.36 % Running -m NewStrategy63501 for 0.242960929871 seconds
% 6.65/8.48 % Running -m NewStrategy28542 for 214.064244032 seconds
% 6.95/8.71 % Running -m mode273 for 0.601787090302 seconds
% 6.95/8.93 % Running -m NewStrategy12884 for 4.57315897942 seconds
% 11.71/13.51 % Running -m NewStrategy36822 for 0.0301289558411 seconds
% 11.71/13.53 % Running -m NewStrategy29644 for 0.0159990787506 seconds
% 11.71/13.54 % Running -m NewStrategy63339 for 194.930086851 seconds
% 207.03/208.48 % Running -m NewStrategy72394 for 20.4193341732 seconds
% 207.03/208.49 % Running -m mode369 for 0.0164971351624 seconds
% 207.13/208.52 % Running -m NewStrategy892 for 0.247859954834 seconds
% 207.13/208.53 % Running -m NewStrategy31076 for 0.282725095749 seconds
% 207.18/208.82 % Running -m NewStrategy29287 for 0.0282471179962 seconds
% 207.18/208.83 % Running -m NewStrategy56535 for 0.0329518318176 seconds
% 207.18/208.84 % Running -m mode171m2 for 0.0431189537048 seconds
% 207.18/208.89 % Running -m NewStrategy61701 for 0.469702005386 seconds
% 207.18/208.90 % Running -m mode325 for 0.00964713096619 seconds
% 207.54/208.92 % Running -m NewStrategy31440 for 0.020026922226 seconds
% 207.54/208.95 % Running -m NewStrategy18901 for 0.00690793991089 seconds
% 207.54/208.96 % Running -m NewStrategy20272 for 0.0263228416443 seconds
% 207.54/209.00 % Running -m NewStrategy32467 for 0.0540940761566 seconds
% 207.63/209.06 % Running -m NewStrategy57901 for 0.0843760967255 seconds
% 207.70/209.15 % Running -m mode261 for 3.2777030468 seconds
% 208.10/209.53 % Running -m NewStrategy30592 for 0.279512166977 seconds
% 208.10/209.54 % Running -m NewStrategy32550 for 0.332719087601 seconds
% 208.35/209.81 % Running -m NewStrategy59789 for 0.119751930237 seconds
% 208.35/209.94 % Running -m NewStrategy29999 for 121.136343002 seconds
% 268.63/270.07 % Running -m NewStrategy62750 for 0.109905958176 seconds
% 268.63/270.08 % Running -m NewStrategy67852 for 0.127078056335 seconds
% 268.71/270.21 % Running -m NewStrategy36343 for 0.34478521347 seconds
% 268.71/270.23 % Running -m NewStrategy57553 for 0.02672290802 seconds
% 268.71/270.24 % Running -m NewStrategy61788 for 0.165655136108 seconds
% 268.87/270.41 % Running -m NewStrategy44472 for 0.677356958389 seconds
% 268.87/270.42 % Running -m NewStrategy68939 for 0.553977012634 seconds
% 269.51/270.98 % Running -m NewStrategy63579 for 2.65231895447 seconds
% 272.21/273.65 % Running -m NewStrategy31362 for 3.17318916321 seconds
% 275.38/276.83 % Running -m NewStrategy71165 for 0.0638229846954 seconds
% 275.38/276.84 % Running -m NewStrategy71165 for 0.26904797554 seconds
% 275.38/276.85 % Running -m NewStrategy11509 for 279.127412081 seconds
% 278.68/280.13 % Running -m NewStrategy49558 for 0.217222929001 seconds
% 278.73/280.35 % Running -m NewStrategy24846 for 5.82811307907 seconds
% 284.68/286.19 % Running -m NewStrategy22406 for 271.825758934 seconds
% 284.85/286.31 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.32 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.32 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.33 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.34 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.35 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.36 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.36 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.37 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.38 % Running -m NewStrategy26604 for 600.0 seconds
% 284.85/286.39 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.40 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.40 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.41 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.42 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.43 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.44 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.44 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.45 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.46 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.47 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.48 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.48 % Running -m NewStrategy26604 for 600.0 seconds
% 284.92/286.49 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.50 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.51 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.51 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.52 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.53 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.54 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.55 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.55 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.56 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.57 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.58 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.58 % Running -m NewStrategy26604 for 600.0 seconds
% 285.02/286.59 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.60 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.61 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.62 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.62 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.63 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.64 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.65 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.65 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.66 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.67 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.68 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.69 % Running -m NewStrategy26604 for 600.0 seconds
% 285.09/286.69 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.70 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.71 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.72 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.73 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.73 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.74 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.75 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.76 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.76 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.77 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.78 % Running -m NewStrategy26604 for 600.0 seconds
% 285.16/286.79 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.80 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.80 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.81 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.82 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.83 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.84 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.84 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.85 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.86 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.87 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.88 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.88 % Running -m NewStrategy26604 for 600.0 seconds
% 285.25/286.89 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.90 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.91 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.91 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.92 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.93 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.94 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.95 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.95 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.96 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.97 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.98 % Running -m NewStrategy26604 for 600.0 seconds
% 285.34/286.98 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.04 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.05 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.06 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.07 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.07 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.08 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.09 % Running -m NewStrategy26604 for 600.0 seconds
% 285.42/287.10 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.11 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.11 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.12 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.13 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.14 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.15 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.15 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.16 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.17 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.18 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.19 % Running -m NewStrategy26604 for 600.0 seconds
% 285.48/287.19 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.20 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.21 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.22 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.22 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.23 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.24 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.28 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.29 % Running -m NewStrategy26604 for 600.0 seconds
% 285.56/287.29 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.30 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.31 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.32 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.33 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.33 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.34 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.35 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.36 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.37 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.37 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.38 % Running -m NewStrategy26604 for 600.0 seconds
% 285.60/287.39 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.40 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.40 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.41 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.42 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.43 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.44 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.44 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.45 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.46 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.47 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.47 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.48 % Running -m NewStrategy26604 for 600.0 seconds
% 285.69/287.49 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.50 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.51 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.51 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.52 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.53 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.54 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.54 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.55 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.56 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.57 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.58 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.58 % Running -m NewStrategy26604 for 600.0 seconds
% 285.78/287.59 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.60 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.61 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.61 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.62 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.63 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.64 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.65 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.65 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.66 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.67 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.68 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.68 % Running -m NewStrategy26604 for 600.0 seconds
% 285.86/287.69 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.70 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.71 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.71 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.72 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.73 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.74 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.75 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.75 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.76 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.77 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.78 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.78 % Running -m NewStrategy26604 for 600.0 seconds
% 285.94/287.79 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.80 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.81 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.82 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.82 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.83 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.84 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.85 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.85 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.86 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.87 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.88 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.88 % Running -m NewStrategy26604 for 600.0 seconds
% 286.02/287.89 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.90 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.91 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.92 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.92 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.93 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.94 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.95 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.95 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.96 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.97 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.98 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.99 % Running -m NewStrategy26604 for 600.0 seconds
% 286.12/287.99 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.00 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.01 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.02 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.02 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.03 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.04 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.05 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.06 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.06 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.07 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.08 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.09 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.09 % Running -m NewStrategy26604 for 600.0 seconds
% 286.20/288.10 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.11 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.12 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.12 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.13 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.14 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.15 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.16 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.16 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.17 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.18 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.19 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.19 % Running -m NewStrategy26604 for 600.0 seconds
% 286.28/288.20 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.21 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.22 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.23 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.23 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.24 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.25 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.26 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.27 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.28 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.29 % Running -m NewStrategy26604 for 600.0 seconds
% 286.37/288.29 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.30 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.31 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.32 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.33 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.33 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.34 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.35 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.36 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.37 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.38 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.39 % Running -m NewStrategy26604 for 600.0 seconds
% 286.44/288.39 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.40 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.41 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.42 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.43 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.43 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.44 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.45 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.46 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.47 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.47 % Running -m NewStrategy26604 for 600.0 seconds
% 286.52/288.48 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.51 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.52 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.53 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.54 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.55 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.56 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.57 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.57 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.58 % Running -m NewStrategy26604 for 600.0 seconds
% 286.61/288.59 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.60 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.61 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.61 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.62 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.63 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.64 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.64 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.65 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.66 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.67 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.68 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.68 % Running -m NewStrategy26604 for 600.0 seconds
% 286.67/288.69 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.70 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.71 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.71 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.72 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.73 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.74 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.74 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.75 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.76 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.77 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.78 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.78 % Running -m NewStrategy26604 for 600.0 seconds
% 286.74/288.79 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.80 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.81 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.81 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.82 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.83 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.84 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.85 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.85 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.86 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.87 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.88 % Running -m NewStrategy26604 for 600.0 seconds
% 286.82/288.89 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.90 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.90 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.91 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.92 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.92 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.93 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.94 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.94 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.95 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.96 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.97 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.98 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.99 % Running -m NewStrategy26604 for 600.0 seconds
% 286.90/288.99 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.00 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.01 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.02 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.03 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.04 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.04 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.05 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.06 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.07 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.08 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.08 % Running -m NewStrategy26604 for 600.0 seconds
% 286.99/289.09 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.10 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.11 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.11 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.12 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.13 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.14 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.15 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.15 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.16 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.17 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.18 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.19 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.19 % Running -m NewStrategy26604 for 600.0 seconds
% 287.07/289.20 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.21 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.22 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.23 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.23 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.24 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.25 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.26 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.26 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.27 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.28 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.29 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.29 % Running -m NewStrategy26604 for 600.0 seconds
% 287.16/289.30 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.31 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.32 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.33 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.33 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.34 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.35 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.36 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.36 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.37 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.38 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.39 % Running -m NewStrategy26604 for 600.0 seconds
% 287.24/289.39 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.40 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.41 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.42 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.42 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.43 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.44 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.45 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.46 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.46 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.47 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.48 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.49 % Running -m NewStrategy26604 for 600.0 seconds
% 287.31/289.49 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.50 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.51 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.52 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.52 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.53 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.54 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.55 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.56 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.56 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.57 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.58 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.59 % Running -m NewStrategy26604 for 600.0 seconds
% 287.38/289.59 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.60 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.61 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.62 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.62 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.63 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.64 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.65 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.65 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.66 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.67 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.68 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.68 % Running -m NewStrategy26604 for 600.0 seconds
% 287.45/289.69 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.70 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.71 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.72 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.72 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.73 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.74 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.75 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.75 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.76 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.77 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.78 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.78 % Running -m NewStrategy26604 for 600.0 seconds
% 287.53/289.79 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.80 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.81 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.81 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.82 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.83 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.84 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.84 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.85 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.86 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.87 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.87 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.88 % Running -m NewStrategy26604 for 600.0 seconds
% 287.60/289.89 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.90 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.91 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.91 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.92 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.93 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.94 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.94 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.95 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.96 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.97 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.97 % Running -m NewStrategy26604 for 600.0 seconds
% 287.67/289.99 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.00 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.00 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.01 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.02 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.03 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.04 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.04 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.05 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.06 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.07 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.07 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.08 % Running -m NewStrategy26604 for 600.0 seconds
% 287.74/290.09 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.10 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.10 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.11 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.12 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.13 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.14 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.14 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.15 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.16 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.17 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.17 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.18 % Running -m NewStrategy26604 for 600.0 seconds
% 287.81/290.19 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.20 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.20 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.21 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.22 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.23 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.23 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.24 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.25 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.26 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.27 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.27 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.28 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.29 % Running -m NewStrategy26604 for 600.0 seconds
% 287.88/290.30 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.30 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.31 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.32 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.33 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.34 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.34 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.35 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.36 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.37 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.37 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.38 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.39 % Running -m NewStrategy26604 for 600.0 seconds
% 287.96/290.40 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.40 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.41 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.42 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.43 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.44 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.44 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.45 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.46 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.47 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.47 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.48 % Running -m NewStrategy26604 for 600.0 seconds
% 288.04/290.49 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.50 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.50 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.51 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.52 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.53 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.53 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.54 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.55 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.56 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.56 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.57 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.58 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.59 % Running -m NewStrategy26604 for 600.0 seconds
% 288.10/290.60 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.60 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.61 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.62 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.63 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.63 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.64 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.65 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.66 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.66 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.67 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.68 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.69 % Running -m NewStrategy26604 for 600.0 seconds
% 288.18/290.69 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.70 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.71 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.72 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.73 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.73 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.74 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.75 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.76 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.76 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.77 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.78 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.79 % Running -m NewStrategy26604 for 600.0 seconds
% 288.26/290.79 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.80 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.81 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.82 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.82 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.83 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.84 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.85 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.85 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.86 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.87 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.88 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.88 % Running -m NewStrategy26604 for 600.0 seconds
% 288.35/290.89 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.90 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.91 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.92 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.92 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.93 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.94 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.95 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.95 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.96 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.97 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.98 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.98 % Running -m NewStrategy26604 for 600.0 seconds
% 288.41/290.99 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.00 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.01 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.01 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.02 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.03 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.04 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.04 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.05 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.06 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.07 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.07 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.08 % Running -m NewStrategy26604 for 600.0 seconds
% 288.48/291.09 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.10 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.11 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.11 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.12 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.13 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.14 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.14 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.15 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.16 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.17 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.17 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.18 % Running -m NewStrategy26604 for 600.0 seconds
% 288.56/291.19 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.20 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.20 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.21 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.22 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.23 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.23 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.24 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.25 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.26 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.27 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.27 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.28 % Running -m NewStrategy26604 for 600.0 seconds
% 288.63/291.29 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.30 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.30 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.31 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.32 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.33 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.33 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.34 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.35 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.36 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.36 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.37 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.38 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.39 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.39 % Running -m NewStrategy26604 for 600.0 seconds
% 288.71/291.40 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.41 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.42 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.43 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.43 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.44 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.45 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.46 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.47 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.48 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.49 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.49 % Running -m NewStrategy26604 for 600.0 seconds
% 288.78/291.50 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.51 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.52 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.52 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.53 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.54 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.55 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.55 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.56 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.57 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.58 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.59 % Running -m NewStrategy26604 for 600.0 seconds
% 288.85/291.59 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.60 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.61 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.62 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.62 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.63 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.64 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.65 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.65 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.66 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.67 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.68 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.68 % Running -m NewStrategy26604 for 600.0 seconds
% 288.92/291.69 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.70 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.71 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.72 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.72 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.73 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.74 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.75 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.75 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.76 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.77 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.78 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.78 % Running -m NewStrategy26604 for 600.0 seconds
% 288.99/291.79 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.80 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.81 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.81 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.82 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.83 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.84 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.84 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.85 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.86 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.87 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.88 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.88 % Running -m NewStrategy26604 for 600.0 seconds
% 289.07/291.89 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.90 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.91 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.91 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.92 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.93 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.94 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.94 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.95 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.96 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.97 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.97 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.98 % Running -m NewStrategy26604 for 600.0 seconds
% 289.14/291.99 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.00 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.00 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.01 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.02 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.03 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.03 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.04 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.05 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.06 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.06 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.07 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.08 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.09 % Running -m NewStrategy26604 for 600.0 seconds
% 289.21/292.10 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.10 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.11 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.12 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.13 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.13 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.14 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.15 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.16 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.16 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.17 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.18 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.19 % Running -m NewStrategy26604 for 600.0 seconds
% 289.28/292.19 % Running -m NewStrategy26604 for 600.0 seconds
% 289.36/292.20 % Running -m NewStrategy26604 for 600.0